/* @LICENSE(NICTA_CORE) */

/*
  Author: Alex Webster
*/

#ifdef X86_64
typedef long jmp_buf[8];
#else
typedef int jmp_buf[6];
#endif
